css: Add "border-spacing" CSS property
authorBenjamin Otte <otte@redhat.com>
Sat, 10 Dec 2016 02:26:24 +0000 (03:26 +0100)
committerBenjamin Otte <otte@redhat.com>
Sat, 10 Dec 2016 03:32:55 +0000 (04:32 +0100)
commitd7148a47182e0b0ca286243101d3774c6b3d4be5
tree12edf50d4ed91fb931bdf1ebe5e9d583b3e0bc31
parent438ad208e7734e66bee56201f1d82a913907839a
css: Add "border-spacing" CSS property

It's using a GtkCssPositionValue, even though that name is wrong. But
the functionality of managing 2 lengths is exactly what we want.

Nobody is using this yet.
gtk/gtkcsspositionvalue.c
gtk/gtkcsspositionvalueprivate.h
gtk/gtkcssstylepropertyimpl.c
gtk/gtkcsstypesprivate.h